constraint independent of time

不变约束